#include "types.h"
#include "stat.h"
#include "user.h"

int
main(void)
{
  int result = addtwo(6);

  
  printf(1, "the result for 6 add 2 is: %d\n", result);
  exit();
}
